English

• type inference
• Wikipedia: http://en.wikipedia.org/wiki/Type_inference
• C2: http://c2.com/cgi/wiki?TypeInference

German

• Typinferenz; Typableitung
• Wikipedia: http://de.wikipedia.org/wiki/Typinferenz

Dutch

• type-inferentie
• Wikipedia: http://nl.wikipedia.org/wiki/Type-inferentie

Russian

• вывод типов
• Wikipedia: http://ru.wikipedia.org/wiki/Вывод_типов
• Progopedia: http://progopedia.ru/typing/type-inference/